# (decoded with TMPL 1000)
*****: (EOF-terminated list)
  0: Value: -17670
  1: Value: -1794
  2: Value: -26470
  3: Value: -25957
  4: Value: -25958
  5: Value: -25958
  6: Value: -25977
  7: Value: -27757
  8: Value: -27731
  9: Value: -5589
  10: Value: 4272
  11: Value: 21888
  12: Value: 16678
  13: Value: -21895
  14: Value: -17926
  15: Value: -5590
  16: Value: 29012
  17: Value: -5590
  18: Value: 28996
  19: Value: -5590
  20: Value: -5590
  21: Value: 30578
  22: Value: -20568
  23: Value: -5633
  24: Value: -1799
  25: Value: -21846
  26: Value: -21846
  27: Value: -21846
  28: Value: -21828
  29: Value: -21846
  30: Value: -22734
  31: Value: -21846